Toward the application of ISO 26262 for real-life embedded mechatronic systems

International audienceThe document ISO 26262 entitled ‘Road vehicles – Functional Safety’ [1] is a standard being issued by the TC22/SC3/WG16 working group of the International Standard Organization. Its scope is the functional safety of electric and electronic (E/E) embedded systems installed in automotive vehicles

Joint use of static and dynamic software verification techniques: a cross-domain view in safety critical system industries

International audienceHow different are the approaches to combining formal methods (FM) and testing in the safety standards of the automotive, aeronautic, nuclear, process, railway and space industries? This is the question addressed in this paper by a cross-domain group of experts involved in the revision committees of ISO 26262, DO-178C, IEC 60880, IEC 61508, EN 50128 and ECSS-Q-ST-8OC. First we review some commonalities and differences regarding application of formal methods in theaforementioned standards. Are they mandatory or recommended only? What kind of properties are they advised to be applied to? What is specified in the different standards regarding coverage (both functional and structural) if testing and formal methods are used jointly?We also account for the return on experience of the group members in the six industrial domains regarding state of the art practice of joint use of formal methods and testing. Where did formal methods actually prove to outperform testing? Then we discuss verification coverage, and more specifically the role of structural coverage. Does structural coverage play the same role in all the standards? Is it specific to testing and irrelevant for formal methods? What verification terminationcriteria is applicable in case FM-test mix? We conclude on some prospective views on how software safety standards may evolve to maximize the benefits of joint use of dynamic (testing) and static (FM) verification methods

Early Inflammatory Markers for the Diagnosis of Late-Onset Sepsis in Neonates: The Nosodiag Study

Background: Early diagnosis is essential to improve the treatment and prognosis of newborn infants with nosocomial bacterial infections. Although cytokines and procalcitonin (PCT) have been evaluated as early inflammatory markers, their diagnostic properties have rarely been compared.Objectives: This study evaluated and compared the ability of individual inflammatory markers available for clinician (PCT, semi-quantitative determination of IL-8) and of combinations of markers (CRPi plus IL-6 or quantitative or semi-quantitative determination of IL-8) to diagnose bacterial nosocomial infections in neonates.Methods: This prospective two-center study included neonates suspected of nosocomial infections from September 2008 to January 2012. Inflammatory markers were measured initially upon suspicion of nosocomial infection, and CRP was again measured 12–24 h later. Newborns were retrospectively classified into two groups: those who were infected (certainly or probably) and uninfected (certainly or probably).Results: The study included 130 infants of median gestational age 28 weeks (range, 24–41 weeks). Of these, 34 were classified as infected and 96 as uninfected. The sensitivity, specificity, positive and negative predictive values (PPV and NPV), and positive and negative likelihood ratios (LR+ and LR-) for PCT were 59.3% (95% confidence interval [CI], 38.8–77.6%), 78.5% (95% CI, 67.8–86.9%), 48.5% (95% CI, 30.8–66.5%), 84.9% (95% CI, 74.6–92.2%), 2.7 (95% CI, 1.6–4.9), and 0.5 (95% CI, 0.3–0.8), respectively. Semi-quantitative IL-8 had the highest specificity (92.19%; 95% CI, 82.70–97.41%), PPV (72.22%; 95% CI, 46.52–90.30%) and LR+ (6.17, 95% CI, 2.67–28.44), but had low specificity (48.15%; 95% CI, 28.67–68.05%). Of all markers tested, the combination of IL-6 and CRPi had the highest sensitivity (78.12%; 95% CI, 60.03–90.72%), NPV (91.3%; 95% CI, 82.38–96.32%) and LR- (0.29; 95% CI, 0.12–0.49). The combination of IL-6 and CRPi had a higher area under the curve than PCT, but with borderline significance (p = 0.055).Conclusions: The combination of IL-6 and CRPi was superior to other methods, including PCT, for the early diagnosis of nosocomial infection in neonates, but was not sufficient for sole use. The semi-quantitative determination of IL-8 had good diagnostic properties but its sensitivity was too low for use in clinical practice

De 20 000 à 18 000 BP en Quercy : apports de la séquence du Cuzoul de Vers à la compréhension de l'évolution des comportements socio-économiques entre Solutréen récent et Badegoulien

Essai de synthèse des travaux menés autour du gisement du Cuzoul de Vers (Lot)

What's behind sensory preferences? A methodological exploration

What's behind sensory preferences? A methodological exploration. 4. European Conference on Sensory and Consumer Research – A Sense of Quality (EuroSense 2010

Sodium Chloride Diffusion during Muscle Salting Evidenced by Energy-Dispersive X-ray Spectroscopy Imaging

International audienceTo better understand the relationship between the muscle structure and NaCl transfers in meat, we used energy-dispersive X-ray spectroscopy (EDS) coupled with scanning electron microscopy (SEM) to analyze brined and dry-salted rat muscles. The muscles were freeze-dried to avoid the delocalization of soluble ions that happens in regular dehydration through a graded series of ethanol. Na and Cl maps were superimposed on SEM images to combine the muscle structure and NaCl diffusion. Brining causes rapid diffusion of NaCl through the tissue. Most brine diffuses in a linear front from the muscle surface, but a small proportion enters through the perimysium network. The muscle area penetrated by brine shows heterogeneous patterns of NaCl retention, with some connective tissue islets containing more NaCl than other parts of perimysium. NaCl penetration is considerably slower after dry salting than after brining

Alternative methods improve the accuracy of genomic prediction using information from a causal point mutation in a dairy sheep model

Genomic evaluation is usually based on a set of markers assumed to be linked with causal mutations. Selection and precise management of major genes and the remaining polygenic component might be improved by including causal polymorphisms in the evaluation models. In this study, various methods involving a known mutation were used to estimate prediction accuracy. The SOCS2 gene, which influences body growth, milk production and somatic cell scores, a proxy for mastitis, was studied as an example in dairy sheep. The data comprised 1,503,148 phenotypes and 9844 54K SNPs genotypes. The SOCS2 SNP was genotyped for 4297 animals and imputed in the above 9844 animals. Breeding values and their accuracies were estimated for each of nine traits by using single-step approaches. Pedigree-based BLUP, single-step genomic BLUP (ssGBLUP) involving the 54K ovine SNPs chip, and four weighted ssGBLUP (WssGBLUP) methods were compared. In WssGBLUP methods, weights are assigned to SNPs depending on their effect on the trait. The ssGBLUP and WssGBLUP methods were again tested after including the SOCS2 causal mutation as a SNP. Finally, the Gene Content approach was tested, which uses a multiple-trait model that considers the SOCS2 genotype as a trait. EBV accuracies were increased by 14.03% between the pedigree-based BLUP and ssGBLUP methods and by 3.99% between ssGBLUP and WssGBLUP. Adding the SOCS2 SNP to ssGBLUP methods led to an average gain of 0.26%. Construction of the kinship matrix and estimation of breeding values was generally improved by placing emphasis on SNPs in regions with a strong effect on traits. In the absence of chip data, the Gene Content method, compared to pedigree-based BLUP, efficiently accounted for partial genotyping information on SOCS2 as accuracy was increased by 6.25%. This method also allowed dissociation of the genetic component due to the major gene from the remaining polygenic component. Causal mutations with a moderate to strong effect can be captured with conventional SNP chips by applying appropriate genomic evaluation methods. The Gene Content method provides an efficient way to account for causal mutations in populations lacking genome-wide genotyping

Joint use of static and dynamic software verification techniques: a cross-domain view in safety critical system industries

International audienceHow different are the approaches to combining formal methods (FM) and testing in the safety standards of the automotive, aeronautic, nuclear, process, railway and space industries? This is the question addressed in this paper by a cross-domain group of experts involved in the revision committees of ISO 26262, DO-178C, IEC 60880, IEC 61508, EN 50128 and ECSS-Q-ST-8OC. First we review some commonalities and differences regarding application of formal methods in theaforementioned standards. Are they mandatory or recommended only? What kind of properties are they advised to be applied to? What is specified in the different standards regarding coverage (both functional and structural) if testing and formal methods are used jointly?We also account for the return on experience of the group members in the six industrial domains regarding state of the art practice of joint use of formal methods and testing. Where did formal methods actually prove to outperform testing? Then we discuss verification coverage, and more specifically the role of structural coverage. Does structural coverage play the same role in all the standards? Is it specific to testing and irrelevant for formal methods? What verification terminationcriteria is applicable in case FM-test mix? We conclude on some prospective views on how software safety standards may evolve to maximize the benefits of joint use of dynamic (testing) and static (FM) verification methods

Criticality categories across safety standards in different domains

International audienc

Impact de la décontamination de l’air par l’utilisation du système Plasmair® sur la survenue d’aspergilloses pulmonaires invasives chez des patients atteints de leucémies aiguës recevant des chimiothérapies intensives. Expérience du service d’hématologie clinique, CHU Dijon

National audienc